STATIC const mp_obj_int_t mpz_4007c000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0xc000, 0x4007}}};
STATIC const mp_obj_int_t mpz_40080000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0x0, 0x4008}}};
STATIC const mp_obj_int_t mpz_40084000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0x4000, 0x4008}}};
STATIC const mp_obj_int_t mpz_40094000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0x4000, 0x4009}}};
STATIC const mp_obj_int_t mpz_40094008 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0x4008, 0x4009}}};
STATIC const mp_obj_int_t mpz_40094010 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0x4010, 0x4009}}};
STATIC const mp_obj_int_t mpz_40094018 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0x4018, 0x4009}}};
STATIC const mp_obj_int_t mpz_400a4000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0x4000, 0x400a}}};
STATIC const mp_obj_int_t mpz_400a8000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0x8000, 0x400a}}};
STATIC const mp_obj_int_t mpz_400ac000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0xc000, 0x400a}}};
STATIC const mp_obj_int_t mpz_400b0000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0x0, 0x400b}}};
STATIC const mp_obj_int_t mpz_400b4000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0x4000, 0x400b}}};
STATIC const mp_obj_int_t mpz_400b8000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0x8000, 0x400b}}};
STATIC const mp_obj_int_t mpz_400bc000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0xc000, 0x400b}}};
STATIC const mp_obj_int_t mpz_400c0000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0x0, 0x400c}}};
STATIC const mp_obj_int_t mpz_400c4000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0x4000, 0x400c}}};
STATIC const mp_obj_int_t mpz_400c8000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0x8000, 0x400c}}};
STATIC const mp_obj_int_t mpz_400cc000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0xc000, 0x400c}}};
STATIC const mp_obj_int_t mpz_400d0000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0x0, 0x400d}}};
STATIC const mp_obj_int_t mpz_400d4000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0x4000, 0x400d}}};
STATIC const mp_obj_int_t mpz_400d8000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0x8000, 0x400d}}};
STATIC const mp_obj_int_t mpz_400d9000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0x9000, 0x400d}}};
STATIC const mp_obj_int_t mpz_400da000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0xa000, 0x400d}}};
STATIC const mp_obj_int_t mpz_400dc000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0xc000, 0x400d}}};
STATIC const mp_obj_int_t mpz_400e0000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0x0, 0x400e}}};
STATIC const mp_obj_int_t mpz_400e8000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0x8000, 0x400e}}};
STATIC const mp_obj_int_t mpz_400ec000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0xc000, 0x400e}}};
STATIC const mp_obj_int_t mpz_400f4000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0x4000, 0x400f}}};
STATIC const mp_obj_int_t mpz_400f8000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0x8000, 0x400f}}};
STATIC const mp_obj_int_t mpz_400fc000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0xc000, 0x400f}}};
STATIC const mp_obj_int_t mpz_4017c000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0xc000, 0x4017}}};
STATIC const mp_obj_int_t mpz_40180000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0x0, 0x4018}}};
STATIC const mp_obj_int_t mpz_40184000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0x4000, 0x4018}}};
STATIC const mp_obj_int_t mpz_40188000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0x8000, 0x4018}}};
STATIC const mp_obj_int_t mpz_4018c000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0xc000, 0x4018}}};
STATIC const mp_obj_int_t mpz_40190000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0x0, 0x4019}}};
STATIC const mp_obj_int_t mpz_40194000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0x4000, 0x4019}}};
STATIC const mp_obj_int_t mpz_40198000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0x8000, 0x4019}}};
STATIC const mp_obj_int_t mpz_4019c000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0xc000, 0x4019}}};
STATIC const mp_obj_int_t mpz_401a0000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0x0, 0x401a}}};
STATIC const mp_obj_int_t mpz_401ac000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0xc000, 0x401a}}};
STATIC const mp_obj_int_t mpz_401b0000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0x0, 0x401b}}};
STATIC const mp_obj_int_t mpz_401b8000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0x8000, 0x401b}}};
STATIC const mp_obj_int_t mpz_401bc000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0xc000, 0x401b}}};
STATIC const mp_obj_int_t mpz_401c0000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0x0, 0x401c}}};
STATIC const mp_obj_int_t mpz_401c4000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0x4000, 0x401c}}};
STATIC const mp_obj_int_t mpz_401d0000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0x0, 0x401d}}};
STATIC const mp_obj_int_t mpz_401d4000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0x4000, 0x401d}}};
STATIC const mp_obj_int_t mpz_401dc000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0xc000, 0x401d}}};
STATIC const mp_obj_int_t mpz_401e0000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0x0, 0x401e}}};
STATIC const mp_obj_int_t mpz_401e4000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0x4000, 0x401e}}};
STATIC const mp_obj_int_t mpz_401e8000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0x8000, 0x401e}}};
STATIC const mp_obj_int_t mpz_401ec000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0xc000, 0x401e}}};
STATIC const mp_obj_int_t mpz_401f0000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0x0, 0x401f}}};
STATIC const mp_obj_int_t mpz_401f4000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0x4000, 0x401f}}};
STATIC const mp_obj_int_t mpz_401f8000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0x8000, 0x401f}}};
STATIC const mp_obj_int_t mpz_401fc000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0xc000, 0x401f}}};
STATIC const mp_obj_int_t mpz_4027c000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0xc000, 0x4027}}};
STATIC const mp_obj_int_t mpz_402a8000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0x8000, 0x402a}}};
STATIC const mp_obj_int_t mpz_402b4000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0x4000, 0x402b}}};
STATIC const mp_obj_int_t mpz_402b8000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0x8000, 0x402b}}};
STATIC const mp_obj_int_t mpz_402bc000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0xc000, 0x402b}}};
STATIC const mp_obj_int_t mpz_402c0000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0x0, 0x402c}}};
STATIC const mp_obj_int_t mpz_402c4000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0x4000, 0x402c}}};
STATIC const mp_obj_int_t mpz_402d8000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0x8000, 0x402d}}};
STATIC const mp_obj_int_t mpz_402e0000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0x0, 0x402e}}};
STATIC const mp_obj_int_t mpz_402e0004 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0x4, 0x402e}}};
STATIC const mp_obj_int_t mpz_402e0200 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0x200, 0x402e}}};
STATIC const mp_obj_int_t mpz_402f0000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0x0, 0x402f}}};
STATIC const mp_obj_int_t mpz_402fc000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0xc000, 0x402f}}};
STATIC const mp_obj_int_t mpz_4037c000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0xc000, 0x4037}}};
STATIC const mp_obj_int_t mpz_40380000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0x0, 0x4038}}};
STATIC const mp_obj_int_t mpz_40384000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0x4000, 0x4038}}};
STATIC const mp_obj_int_t mpz_40388000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0x8000, 0x4038}}};
STATIC const mp_obj_int_t mpz_4038c000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0xc000, 0x4038}}};
STATIC const mp_obj_int_t mpz_40394000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0x4000, 0x4039}}};
STATIC const mp_obj_int_t mpz_40398000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0x8000, 0x4039}}};
STATIC const mp_obj_int_t mpz_4039c000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0xc000, 0x4039}}};
STATIC const mp_obj_int_t mpz_403a0000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0x0, 0x403a}}};
STATIC const mp_obj_int_t mpz_403b0000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0x0, 0x403b}}};
STATIC const mp_obj_int_t mpz_403b4000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0x4000, 0x403b}}};
STATIC const mp_obj_int_t mpz_403b8000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0x8000, 0x403b}}};
STATIC const mp_obj_int_t mpz_403bc000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0xc000, 0x403b}}};
STATIC const mp_obj_int_t mpz_403c0000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0x0, 0x403c}}};
STATIC const mp_obj_int_t mpz_403c4000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0x4000, 0x403c}}};
STATIC const mp_obj_int_t mpz_403c8000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0x8000, 0x403c}}};
STATIC const mp_obj_int_t mpz_403cc000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0xc000, 0x403c}}};
STATIC const mp_obj_int_t mpz_403d0000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0x0, 0x403d}}};
STATIC const mp_obj_int_t mpz_403d4000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0x4000, 0x403d}}};
STATIC const mp_obj_int_t mpz_403dc000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0xc000, 0x403d}}};
STATIC const mp_obj_int_t mpz_403e0000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0x0, 0x403e}}};
STATIC const mp_obj_int_t mpz_403e4000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0x4000, 0x403e}}};
STATIC const mp_obj_int_t mpz_403e8000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0x8000, 0x403e}}};
STATIC const mp_obj_int_t mpz_403ec000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0xc000, 0x403e}}};
STATIC const mp_obj_int_t mpz_403f0000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0x0, 0x403f}}};
STATIC const mp_obj_int_t mpz_403f4000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0x4000, 0x403f}}};
STATIC const mp_obj_int_t mpz_403f8000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0x8000, 0x403f}}};
STATIC const mp_obj_int_t mpz_403fc000 = {{&mp_type_int}, {.neg=0, .fixed_dig=1, .alloc=2, .len=2, .dig=(uint16_t[]){0xc000, 0x403f}}};
